Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
881	Contemporary Mathematics Model Categories and Simplicial Methods Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2006-06-12 14:45:27 Category theory Mathematics Algebraic topology Model category Simplicial set Fibrant object Weak equivalence Fibration Nerve Homotopy theory Topology Abstract algebra
882	Centenary Charles Samuel Myers (1873–1946) Add to Reading List Source URL: www.thepsychologist.org.uk Language: English Mind Psychoanalysis Interpersonal relationships Behavioural sciences Human development John Bowlby Maternal deprivation Object relations theory Mary Ainsworth Attachment theory Psychology Behavior
883	Pure Subtype Systems DeLesley S. Hutchins MZA Associates Corporation Add to Reading List Source URL: redwood.mza.com Language: English - Date: 2009-11-06 16:44:00 Theoretical computer science Object-oriented programming Data types Polymorphism Lambda calculus Subtype polymorphism Type system Lambda cube System F Type theory Software engineering Programming language theory
884	“Simplicial Localisation” — Saul Glasman — [removed]Abstract The message of simplicial localisation is that trying to invert morphisms in a category catapults the would-be-inverter into homotopy theory, whether they want to be there or not. This Add to Reading List Source URL: math.mit.edu Language: English - Date: 2011-11-10 11:31:35 Category theory Mathematics Model category Simplicial set Quillen adjunction Weak equivalence Nerve Kan fibration Fibrant object Homotopy theory Abstract algebra Topology
885	Database Access and Integration Services on the Grid Add to Reading List Source URL: www.nesc.ac.uk Language: English - Date: 2006-06-08 11:07:25 Database management systems Transaction processing Relational database management systems Database Database theory Open Grid Services Architecture Federated database system Object database Middleware Data management Data Information
886	Draft version November 28, 2011 Preprint typeset using LATEX style emulateapj v[removed] Add to Reading List Source URL: arxiv.org Language: English - Date: 2011-11-27 20:10:09 Spaceflight Space telescopes Wide Field Camera 3 Infrared Space Telescope Science Institute Near Infrared Camera and Multi-Object Spectrometer Limb darkening Estimation theory Star Hubble Space Telescope Spacecraft Electromagnetic radiation
887	Published in ECOOP ‘91 proceedings, Springer Verlag Lecture Notes in Computer Science 512, July, [removed]Optimizing Add to Reading List Source URL: selflanguage.org Language: English - Date: 2012-01-01 23:30:35 Type theory Compiler optimizations Programming language implementation Cross-platform software Object-oriented programming Inline caching Smalltalk Inline expansion Just-in-time compilation Software engineering Computing Computer programming
888	Intended for submission to the Revival of Dynamic Languages Static Typing Where Possible, Dynamic Typing When Needed: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2012-05-07 17:01:04 Computer programming Data types Object-oriented programming Functional programming Polymorphism Type system Type safety Dynamic programming language Covariance and contravariance Software engineering Computing Type theory
889	Type-safe covariance: Competent compilers can catch all catcalls Mark Howard1, Éric Bezault1, Bertrand Meyer2, 3, Add to Reading List Source URL: se.ethz.ch Language: English - Date: 2011-03-11 06:31:40 Object-oriented programming Computer programming Data types Polymorphism Covariance and contravariance Eiffel Type system Generic programming Type safety Software engineering Computing Type theory
890	Static Bertrand Add to Reading List Source URL: se.ethz.ch Language: English - Date: 2011-03-11 06:32:38 Object-oriented programming Data types Type theory Polymorphism Method Eiffel Type system Covariance and contravariance Generic programming Software engineering Computing Computer programming

UPDATE